/**
 * \file kernel/arch/x86/mm.c
 * \author Davide Gessa
 * \date 10-19-09
 */
#include <mm/paged.h>


/**
 * Abilita la paginazione
 */
void paged_enable()
{
	
}
